When is a container a comonad?

When Is a Container a Comonad?

Abbott, Altenkirch, Ghani and others have taught us that many parameterized datatypes (set functors) can be usefully analyzed via container representations in terms of a set of shapes and a set of positions in each shape. This paper builds on the observation that datatypes often carry additional structure that containers alone do not account for. We introduce directed containers to capture the ...

Combining a monad and a comonad

When is the ring of real measurable functions a hereditary ring?

‎Let $M(X‎, ‎mathcal{A}‎, ‎mu)$ be the ring of real-valued measurable functions‎ ‎on a measure space $(X‎, ‎mathcal{A}‎, ‎mu)$‎. ‎In this paper‎, ‎we characterize the maximal ideals in the rings of real measurable functions‎ ‎and as a consequence‎, ‎we determine when $M(X‎, ‎mathcal{A}‎, ‎mu)$ is a hereditary ring.

Economic-Statistical Design of a Control Chart for High Yield Processes When the Inspection is Imperfect

CCC-r control chart is a monitoring technique for high yield processes. It is based on the analysis of the number of inspected items until observing a specific number of defective items.  One of the assumptions in implementing CCC-r chart that has a significant effect on the design of the control chart is that the inspection is perfect. However, in reality, due to the multiple reasons, the...

When every $P$-flat ideal is flat

In this paper‎, ‎we study the class of rings in which every $P$-flat‎ ‎ideal is flat and which will be called $PFF$-rings‎. ‎In particular‎, ‎Von Neumann regular rings‎, ‎hereditary rings‎, ‎semi-hereditary ring‎, ‎PID and arithmetical rings are examples of $PFF$-rings‎. ‎In the context domain‎, ‎this notion coincide with‎ ‎Pr"{u}fer domain‎. ‎We provide necessary and sufficient conditions for‎...